🔍 Static Analysis - nmarshall · Scour

Master C and C++ with our new Testing Handbook chapter 🔓Binary Exploitation

blog.trailofbits.com·5d

Show HN: Spectre: A systems design-by-contract language, self hosted compiler ☁️Serverless Rust

spectrelang.org·5h·Hacker News

AeneasVerif/aeneas: A verification toolchain for Rust programs ☁️Serverless Rust

github.com·2d·Hacker News

How We Use Claude Code and Build with Agents at Fiberplane ☁️Serverless Rust

fiberplane.com·8h·Hacker News

Try a Real Code Review Interview — No Account Needed ☁️Serverless Rust

entrevue.app·13h·Hacker News

Your LLM is a compiler, not a runtime ⚙️LLVM

getpocketbot.com·1d·Hacker News

Program Analysis: A Pragmatic Approach ∀Lean4

homes.cs.washington.edu·6d·Lobsters

Embed You a ponyc for Great Good 🏗️Cranelift

ponylang.io·16h·Lobsters

Standard Control Flow Flattening is fundamentally broken ⚙️LLVM

gist.github.com·2d·Hacker News

S.A.F.E.: RFC-style intent checks for privileged AI automation 🤖AI Coding Tools

zenodo.org·4h·Hacker News

A simple test-time method that beats Claude Mythos on Terminal-Bench ∀Lean4

llm-as-a-verifier.notion.site·8h·Hacker News

Code Review is the New Bottleneck For Engineering Teams 🔍Code Review

newsletter.eng-leadership.com·2d·Hacker News, r/programming

Giving LLMs a Formal Reasoning Engine for Code Analysis ∀Lean4

yogthos.net·6d·Lobsters, Hacker News

MLanguage/mlang: Compiler for the M language, used to compute the income tax of French taxpayers 🏭Code Generation

github.com·20h·Hacker News

If it could have, why didn't it? 🔓Binary Exploitation

alexgaynor.net·2d·Hacker News

Multi-agent AI orchestration built for governance, in Rust 🤖AI agents

broodlink.ai·13h·Hacker News

A language where you describe the system and the compiler verifies it 📐TLA+

spine-lang.org·4d·Hacker News

New Visual Rule Manager: Configure SQL Code Analysis Without Editing XML 🔍Query Compilers

erikej.github.io·1d

NK-CAPTCHA - Nation State Actor Verification 🔐Decentralized Identity

nkcaptcha.com·21h·Hacker News

Everything Should Be Typed: Scalar Types Are Not Enough 📘TypeScript

sot.dev·2d·Lobsters, Hacker News, r/programming, r/rust

Loading more...